A distributed program synthesizer

This paper describes an architecture of a distributed synthesizer for automated program construction. The objective of the synthesizer is to realize the ideas of Structural Synthesis of Programs in a computer network. The synthesizer handles structural specifications stored into Java classes as meta-interfaces and works on a network using CORBA technology

Knowledge-Based Techniques for Network Management

The present work is an introductory research in the application of knowledge-based techniques in network management. The goal is to apply knowledge-based tools in local net work operations management. The interface between the knowledge-based tools and network software has been tested on examples of file transfer and transformation. Application of reflection in network management is outlined. The NUT programming system has been used as a programming tool which supports reflection and provides high-level graphic interface

Ontology based design of surveillance systems with NUT

This paper presents ontology-based programming using the NUT language as a notation for semantics of domain knowledge. The speci- cation method and problem solving techniques are demonstrated on an example of modeling and management of a radar surveillance system in order to nd optimal disposition and conguration of equipment. Structural synthesis of programs { a technique essential for the domain knowledge handling is briey discussed. Keywords: ontology based programmining, structural synthesis of programs, visual programming, radar surveillance modeling. 1 Introduction The intelligent behavior of knowledge-based systems depends on the processing of large numbers of domain propositions organized into a knowledge base. The need for systems to store thousands of domain facts and to reason about those facts to solve complex domain tasks requires major advances in software engineering and software architecture. The rule-based approach is often taken as a suitable framework of cons..

Automated Program Synthesis for Java Programming Language

Abstract. In this paper we introduce a methodology of program synthesis for Java programming language by extending Java classes with high level specifications. The specifications are handled by a distributed synthesizer also briefly described in this paper

Automated Program Synthesis for Java Programming Language

. In this paper we introduce a methodology of program synthesis for Java programming language by extending Java classes with high level specications. The specications are handled by a distributed synthesizer also briey described in this paper.